logically equivalent statements - German English Dictionary